Sponging   disallowed (Read-only view)

If a proper interval T1 is intervalMetBy another proper interval T2, then the beginning of T1 is coincident with the end of T2.

% meta-cartridges called:
Meta-cartridge [execution time]: